Descriptive, Formal and Formalized Ontologies
نویسنده
چکیده
1. Overture 2. Descriptive, formal and formalized ontologies 3. Variants of formalized ontology 4. Some data on formal ontologists 5. A note on Husserl’s conception of formal ontology 6. Mereologies 7. Nominalization 8. The forms of representation 9. The logical and the ontological 10. Duality 11. States of affairs and situations of affairs 12. Unfolded state of affairs 13. Ontological duality 14. Intermezzo 15. Semiotic preliminaries 16. Non-Fregean Logics (NFL) 17. Propositional Calculuses with identity (PCI) 18. Truth Assignations 19. Extensions 20. Conclusion 21. References
منابع مشابه
Merging Expressive Ontologies Using Formal Concept Analysis
In this paper, we propose a solution to the problem of merging ontologies when instances associated to two source ontologies are available. The solution we propose is based on Formal Concept Analysis (FCA) and considers that ontologies are formalized in expressive Description Logics. Our approach creates a merged ontology which captures the knowledge of the two source ontologies. Contributions ...
متن کاملEvaluation of Semi-automated Ontology Instance Migration
Ontology instance migration is one of the challenges in knowledge management. It becomes even more complex in distributed settings when, for example, several autonomous agents use partial assertional knowledge in a domain that is formalized by different though semantically overlapping descriptive theories. Agents exchange instances of their ontologies when cooperate. Such an exchange is essenti...
متن کاملOntological methodology
The interest in ontology may peter out unless three problems are addressed: What are the boundaries of ontology? What types are there of ontology? What is the structure of ontology? After distinguishing three main kinds of information (ontological, quasiontological and non-ontological) and three types of ontologies (descriptive, formal and formalized), the paper presents a few basic ontological...
متن کاملبررسی هستان شناسی های توسعه یافته مبتنی بر اصول هستان شناسی های منبع باز زیست پزشکی
Background and Aim: Ontologies facilitate data integration, exchange, searching and querying. Open Biomedical Ontologies (OBO) Foundry is a solution for creating reference ontologies. In this foundry, the design of ontologies is based on established principles which allow for their interactions as a single system. The purpose of this study is to determine the main features of ontologies develop...
متن کاملFolksonomized Ontologies – from social to formal
An ever-increasing number of web-based repositories aimed at sharing content, links or metadata rely on tags informed by users to describe, classify and organize their data. The term folksonomy has been used to define this “social taxonomy”, which emerges from tagging carried by users interacting in social environments. It contrasts with the formalism and systematic creation process applied to ...
متن کامل